--- a/src/Pure/IsaMakefile Mon Jul 23 20:47:56 2007 +0200
+++ b/src/Pure/IsaMakefile Mon Jul 23 22:18:01 2007 +0200
@@ -76,8 +76,9 @@
RAW: $(OUT)/RAW
-$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/polyml-4.1.3.ML \
- ML-Systems/polyml-4.1.4.ML ML-Systems/polyml-5.0.ML \
+$(OUT)/RAW: ML-Systems/alice.ML ML-Systems/no_multithreading.ML \
+ ML-Systems/polyml-4.1.3.ML ML-Systems/polyml-4.1.4.ML \
+ ML-Systems/polyml-5.0.ML ML-Systems/polyml-5.1.ML \
ML-Systems/polyml-interrupt-timeout.ML ML-Systems/polyml-old-basis.ML \
ML-Systems/polyml-posix.ML ML-Systems/polyml.ML ML-Systems/poplogml.ML \
ML-Systems/smlnj.ML