projects / IRC.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 852281b)
change
authorbdemsky <bdemsky>
Wed, 3 Sep 2008 18:38:14 +0000 (18:38 +0000)
committerbdemsky <bdemsky>
Wed, 3 Sep 2008 18:38:14 +0000 (18:38 +0000)
Robust/src/buildscript patch | blob | history

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 5947414dc92c711ead42828d80239b8cc82ff8ec..30c516d8510a46134a3115725ac6ed778cfdf90b 100755 (executable)
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -370,7 +370,7 @@ if $MULTICOREFLAG
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DMULTICORE"
 fi
-FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c"
+FILES="$FILES tmpbuilddirectory/taskdefs.c $ROBUSTROOT/Runtime/checkpoint.c $ROBUSTROOT/Runtime/chash.c"
 if $RAWFLAG
 then
 EXTRAOPTIONS="$EXTRAOPTIONS -DRAW"
Irvine Research Compiler