From: bdemsky <bdemsky>
Date: Wed, 3 Sep 2008 18:38:14 +0000 (+0000)
Subject: change
X-Git-Tag: buildscript^6~52
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=ba52318ba5e747e0cfaed129cdd3d3cc58943545;p=IRC.git

change
---

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 5947414d..30c516d8 100755
--- 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"