unknown flags are ignored with warning.
authorGengbin Zheng <gzheng@illinois.edu>
Sat, 31 Mar 2001 18:01:17 +0000 (18:01 +0000)
committerGengbin Zheng <gzheng@illinois.edu>
Sat, 31 Mar 2001 18:01:17 +0000 (18:01 +0000)
src/arch/win32/unix2nt_cc

index 10d59f3e3430fb8992e9f68eb79c74d45d2003ec..e3b0e6769232f19a843fe5e8ab295525aede8457 100755 (executable)
@@ -227,7 +227,8 @@ do
                ;;
 # Default
        *)
-               printUsage  "Error: Unrecognized argument $arg"
+#              printUsage  "Error: Unrecognized argument $arg"
+               echo  "Ignored Unrecognized argument $arg"
                ;;
        esac
 done