diff options
Diffstat (limited to 'hl/Makefile.in')
| -rwxr-xr-x | hl/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hl/Makefile.in b/hl/Makefile.in index 4a1b595..f156cf2 100755 --- a/hl/Makefile.in +++ b/hl/Makefile.in @@ -726,7 +726,7 @@ $(TEST_SCRIPT_CHKSH) $(TEST_SCRIPT_PARA_CHKSH) dummysh.chkexe_: tname=`basename $(@:.chkexe_=)`;\ log=`basename $(@:.chkexe_=.chklog)`; \ echo "============================"; \ - if $(top_srcdir)/bin/newer `basename $(@:.chkexe_=.chkexe)` $(@:.chkexe_=); then \ + if $(top_srcdir)/bin/newer `basename $(@:.chkexe_=.chkexe)` $(SCRIPT_DEPEND); then \ echo "No need to test $${tname} again."; \ else \ echo "============================" > $${log}; \ |