diff options
-rw-r--r-- | config/giveostype.ml | 1 | ||||
-rwxr-xr-x | configure | 6 |
2 files changed, 0 insertions, 7 deletions
diff --git a/config/giveostype.ml b/config/giveostype.ml deleted file mode 100644 index e657bc79f..000000000 --- a/config/giveostype.ml +++ /dev/null @@ -1 +0,0 @@ -print_string Sys.os_type;; @@ -639,12 +639,6 @@ case $COQIDE in no) LABLGTKINCLUDES="";; esac -# Tell on windows if ocaml understands cygwin or windows path formats - -#"$CAMLC" -o config/giveostype config/giveostype.ml -#CAMLOSTYPE=`config/giveostype` -#rm config/giveostype - # strip command case $ARCH in |