diff options
Diffstat (limited to 'hl/src/Makefile.in')
| -rw-r--r-- | hl/src/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hl/src/Makefile.in b/hl/src/Makefile.in index 1534ab6..21a3449 100644 --- a/hl/src/Makefile.in +++ b/hl/src/Makefile.in @@ -738,7 +738,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}; \ |