Thomas Preud'homme wrote:
Grishka, would the following patch be fine with you? I saw you add the change to error out on unknown option.
Sure. I've added that because I want some feedback when I mistype stuff. Maybe just to be similar to other formats it should be configure: WARNING: unrecognized option ... instead of [WARNING] configure: unrecognized option ... --- grischka
diff --git a/configure b/configure index 188c360..a3202b6 100755 --- a/configure +++ b/configure @@ -168,7 +168,7 @@ for opt do ;; --help|-h) show_help="yes" ;; - *) echo "configure: unrecognized option $opt"; exit 1 + *) echo "[WARNING] configure: unrecognized option $opt" ;; esac done
_______________________________________________ Tinycc-devel mailing list Tinycc-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/tinycc-devel
