diff options
Diffstat (limited to 't/dejagnu-siteexp-useredit.sh')
| -rwxr-xr-x | t/dejagnu-siteexp-useredit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/t/dejagnu-siteexp-useredit.sh b/t/dejagnu-siteexp-useredit.sh index 9be5eba90..63fc18b54 100755 --- a/t/dejagnu-siteexp-useredit.sh +++ b/t/dejagnu-siteexp-useredit.sh @@ -56,7 +56,7 @@ $MAKE site.exp cat site.exp is_newest site.exp Makefile # Sanity check. grep '|objdir|' site.exp -test `grep -c '|objdir|' site.exp` -eq 1 +test $($FGREP -c '|objdir|' site.exp) -eq 1 # We can do a "more semantic" check if DejaGnu is available. if runtest SOMEPROGRAM=someprogram --version; then |