projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add "Support SMP" and "RTS ways" to the compiler --info output
[ghc-hetmet.git]
/
validate
diff --git
a/validate
b/validate
index
7949d62
..
8f70811
100644
(file)
--- a/
validate
+++ b/
validate
@@
-1,4
+1,6
@@
-#!/bin/sh -e
+#!/bin/sh
+
+set -e
if [ -f mk/config.mk ]; then
make distclean
if [ -f mk/config.mk ]; then
make distclean
@@
-9,8
+11,9
@@
if [ -f mk/build.mk ]; then
fi
# The default is a "quick" build
fi
# The default is a "quick" build
-echo BuildFlavour=quick >mk/build.mk
-cat mk/build.mk.sample >>mk/build.mk
+echo BuildFlavour=quick > mk/build.mk
+echo HADDOCK_DOCS=YES >> mk/build.mk
+cat mk/build.mk.sample >> mk/build.mk
# You can override the default validate settings using mk/validate.mk
# e.g. you could add GhcLibWays=p to test profiling.
# You can override the default validate settings using mk/validate.mk
# e.g. you could add GhcLibWays=p to test profiling.
@@
-25,13
+28,9
@@
case $OSTYPE in
esac
if [ "$CPUS" = "" ]; then
esac
if [ "$CPUS" = "" ]; then
- # ToDo: make -j doesn't work in libraries/ on Windows (see #1559)
- case $OSTYPE in
- cygwin|msys) threads=1;;
- *) threads=2;;
- esac
+ threads=2
else
else
- threads=`expr $CPUS + 1`
+ threads=`expr $CPUS + 1`
fi
sh boot
fi
sh boot