Merge pull request #80 from avsm/master

fixes for 1.0: quieten warnings and cleaner output
mirage · Dec 12, 2013 · 8297433 · 8297433
2 parents 2d624aa + effdebb
commit 8297433
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 525 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,5 +1,6 @@
 1.0.0 (10-Dec-2013):
 * Set `Sys.os_type` to Unix in the Xen backend to help compatibility (#78).
+* Suppress another dietlibc linker warning for vprintf in Xen.
 
 0.9.9 (07-Dec-2013):
 * Fix uninstall target for Unix.

diff --git a/xen/configure.os b/xen/configure.os
@@ -30,7 +30,7 @@ xen)
     -isystem ${PWD}/runtime/include/ -isystem ${PWD}/runtime/include/mini-os \
     -isystem ${PWD}/runtime/include/mini-os/x86 -DCAML_NAME_SPACE -DTARGET_amd64 
     -DSYS_xen -I${PWD}/runtime/ocaml -I${PWD}/runtime/libm \
-    -Wextra -Wchar-subscripts -Wmissing-prototypes -Wmissing-declarations -Wno-switch \
+    -Wextra -Wchar-subscripts -Wno-switch \
     -Wno-unused -Wredundant-decls -D__dietlibc__ -I${PWD}/runtime/dietlibc \
     -DNATIVE_CODE"
   ;;