mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-16 14:25:56 +00:00
Code Issues Projects Releases Wiki Activity

Fix typo.

Browse Source 
mgnuc.sh, ml.sh:
	Fix typo.
This commit is contained in:
Fergus Henderson
1995-02-02 14:40:59 +00:00
parent 161cd52ef2
commit 741984aaa5
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/mgnuc.sh
View File

@@ -29,7 +29,7 @@ CHECKOPTS="-ansi
-Wall -Wwrite-strings -Wpointer-arith -Wcast-qual -Wtraditional -Wshadow
-Wstrict-prototypes -Wmissing-prototypes"
case "$1" in)
case "$1" in
-v|--verbose)
verbose=true
shift;;

2
scripts/ml.sh
View File

@@ -10,7 +10,7 @@
LIBDIR=${MERCURY_C_LIB_DIR:-@LIBDIR@/lib}
case "$1" in)
case "$1" in
-v|--verbose)
verbose=true
shift;;