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 63fc18b54..42f4d4404 100755 --- a/t/dejagnu-siteexp-useredit.sh +++ b/t/dejagnu-siteexp-useredit.sh @@ -17,7 +17,7 @@ # Check that the user can edit the Makefile-generated site.exp, and # have its edits survive to the remaking of that file. -. ./defs || Exit 1 +. ./defs || exit 1 cat >> configure.ac << 'END' AC_OUTPUT |