diff options
author | Richard Maw <richard.maw@codethink.co.uk> | 2013-01-22 11:47:11 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@codethink.co.uk> | 2013-01-22 11:47:11 +0000 |
commit | e8485098b43d698224c01284d5e5b0991268f852 (patch) | |
tree | b10540c1c0ddc670b386781e0716017a3ae9a393 | |
parent | bdcd4597ab0e3af0e6447036c5309ef6ed9478ae (diff) | |
download | flex-baserock/bootstrap.tar.gz |
Remove touch from flex morphologybaserock/bootstrap
This is no longer needed as morph now updates the mtime of all files
before running configure commands.
Additionally it was the cause of a non-deterministic build failure,
since busybox touch doesn't guarantee that every file is set to the same
time, each file is set to the current time, at the time of processing.
This caused a build failure when a file the documentation was generated
from was set to a newer time.
-rw-r--r-- | flex.morph | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -3,8 +3,7 @@ "kind": "chunk", "configure-commands": [ "./autogen.sh", - "./configure --prefix=\"$PREFIX\"", - "touch doc/*" + "./configure --prefix=\"$PREFIX\"" ], "build-commands": [ "make" |