diff options
Diffstat (limited to 't/remake-not-after-make-dist.sh')
-rw-r--r-- | t/remake-not-after-make-dist.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/t/remake-not-after-make-dist.sh b/t/remake-not-after-make-dist.sh index d446f6b42..bbdee57f9 100644 --- a/t/remake-not-after-make-dist.sh +++ b/t/remake-not-after-make-dist.sh @@ -21,7 +21,9 @@ # # If this fails, this is likely to be due to a dependency being # given two different name. For instance BSD Make does not know -# that 'Makefile' is the same as './Makefile' +# that 'Makefile' is the same as './Makefile'. This shouldn't +# happen with GNU make, but we keep the test anyway, for extra +# safety. # # Report from Akim Demaille. |