From 777cb8a8b2729f689041f016fa5fe8d5ec819f20 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Sat, 16 Apr 2011 05:16:30 +0000
Subject: [PATCH] fix buildscript

---
 Robust/src/buildscript | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Robust/src/buildscript b/Robust/src/buildscript
index 77d3fe71..f7eb7ec4 100755
--- a/Robust/src/buildscript
+++ b/Robust/src/buildscript
@@ -1246,6 +1246,11 @@ $ROBUSTROOT/Runtime/taskgarbage.c $ROBUSTROOT/Runtime/oojgarbage.c \
 $ROBUSTROOT/Runtime/math.c \
 $ROBUSTROOT/Runtime/GenericHashtable.c $ROBUSTROOT/Runtime/object.c"
 
+if $JNI
+then
+FILES="$FILES $ROBUSTROOT/Runtime/jni/jni.c $ROBUSTROOT/Runtime/jni/jni-stuff.c"
+fi
+
 if $NUMA
 then
 FILES="$FILES $ROBUSTROOT/Runtime/affinity.c"
-- 
2.34.1