Martin Kleusberg
190deca0c3
Fix version.sh script to run on non-bash shells
...
Most non-bash(like) shells don't support command line arguments for the
echo command and print them like regular text. On these systems an
invalid gen_version.h file is generated. This can be fixed by using
printf instead of echo which works the same on all Unix systems.
Also fix the detection whether the gen_version.h file changed before
rewriting it. This prevents creating a file with exactly the same content
but a newer timestamp and therefore make deciding to recompile all files
including it.
2014-01-01 14:15:26 +01:00
..
2013-11-24 10:26:08 +01:00
2013-06-13 20:37:19 +02:00
2013-11-24 10:26:32 +01:00
2013-01-18 18:11:07 +01:00
2013-04-19 11:54:25 +02:00
2013-01-08 21:19:01 +01:00
2013-09-10 17:05:57 +02:00
2012-01-19 23:02:27 +01:00
2013-09-20 14:49:07 +02:00
2013-09-19 22:55:35 +02:00
2013-01-08 20:55:18 +01:00
2013-09-10 11:01:53 +02:00
2013-09-20 14:49:07 +02:00
2013-09-19 22:55:35 +02:00
2013-09-19 22:55:35 +02:00
2013-09-19 22:55:35 +02:00
2013-03-17 13:02:49 +01:00
2013-09-20 14:49:07 +02:00
2013-09-19 22:55:35 +02:00
2013-06-13 20:37:19 +02:00
2013-09-20 14:49:07 +02:00
2013-09-19 22:55:35 +02:00
2013-05-06 18:44:58 +02:00
2013-11-30 14:08:19 +01:00
2013-04-17 20:26:55 +02:00
2013-09-20 14:49:07 +02:00
2013-04-09 18:52:37 +02:00
2013-12-02 16:52:48 +01:00
2012-01-25 21:14:26 +01:00
2013-09-20 14:49:07 +02:00
2013-09-19 22:55:35 +02:00
2013-01-18 14:45:22 +01:00
2012-01-25 21:14:26 +01:00
2013-09-19 22:55:35 +02:00
2013-12-24 20:01:18 +01:00
2013-12-24 20:01:18 +01:00
2013-07-19 21:47:19 +02:00
2013-09-20 14:49:07 +02:00
2013-09-19 22:55:35 +02:00
2013-06-07 20:57:58 +02:00
2013-09-19 22:55:35 +02:00
2013-09-19 22:55:35 +02:00
2013-06-07 20:57:58 +02:00
2013-09-19 22:55:35 +02:00
2013-09-19 22:55:35 +02:00
2013-05-16 21:16:37 +02:00
2013-05-16 21:16:37 +02:00
2013-09-20 14:49:07 +02:00
2013-06-01 14:41:25 +02:00
2013-11-24 10:23:55 +01:00
2013-06-04 17:36:14 +02:00
2013-06-07 20:57:58 +02:00
2013-05-17 15:05:21 +02:00
2013-12-02 16:52:48 +01:00
2013-09-19 22:55:35 +02:00
2013-05-23 18:09:09 +02:00
2013-05-21 22:32:05 +02:00
2014-01-01 14:15:26 +01:00
2012-01-25 21:14:26 +01:00