mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 04:44:39 +00:00
Fix a bug in my last change.
Estimated hours taken: 0.1 Branches: main scripts/mmc.in: Fix a bug in my last change. - *) exec $MC -I "$@" "$INTDIR" ;; + *) exec $MC "$@" -I "$INTDIR" ;;
This commit is contained in:
@@ -51,6 +51,6 @@ export DEFAULT_MCFLAGS
|
||||
|
||||
case $# in
|
||||
0) exec $MC -I "$INTDIR" ;;
|
||||
*) exec $MC -I "$@" "$INTDIR" ;;
|
||||
*) exec $MC "$@" -I "$INTDIR" ;;
|
||||
esac
|
||||
|
||||
|
||||
Reference in New Issue
Block a user