diff options
Diffstat (limited to 'tool/ifchange')
-rwxr-xr-x | tool/ifchange | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tool/ifchange b/tool/ifchange index cc630b0c99..8571cf8049 100755 --- a/tool/ifchange +++ b/tool/ifchange @@ -1,6 +1,8 @@ #!/bin/sh # usage: ifchange target temporary +# Used in generating revision.h via Makefiles. + set -e timestamp= keepsuffix= |