From ba52318ba5e747e0cfaed129cdd3d3cc58943545 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 3 Sep 2008 18:38:14 +0000
Subject: [PATCH] change

---
 Robust/src/buildscript | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
-- 
2.34.1