From ad3ddb9596566352799c50ee4553d71633906687 Mon Sep 17 00:00:00 2001
From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Thu, 25 Jun 2009 12:14:15 +0200
Subject: [PATCH] Add a script to compile the graphgui

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---
 make-graphgui.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 make-graphgui.sh

diff --git a/make-graphgui.sh b/make-graphgui.sh
new file mode 100755
index 00000000..d0b1e956
--- /dev/null
+++ b/make-graphgui.sh
@@ -0,0 +1,11 @@
+#!/bin/sh
+
+cd "$(dirname "$0")" &&
+
+if test ! -f jgit.jar
+then
+	./make_jgit.sh
+fi &&
+
+cd graphgui &&
+javac -cp ../jgit.jar *.java
-- 
2.11.4.GIT