From b801149fbf5c9eb3f73477d3496cdfd92cb178a1 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 12 Nov 2007 09:17:02 +0000
Subject: merged gfc and gfi to one binary, and a shell script for gfc

---
 bin/gfc | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 bin/gfc

(limited to 'bin')

diff --git a/bin/gfc b/bin/gfc
new file mode 100644
index 000000000..5b4242a6c
--- /dev/null
+++ b/bin/gfc
@@ -0,0 +1,3 @@
+#!/bin/sh
+GFBIN=/usr/local/bin/gf3
+exec $GFBIN --batch ${1+"$@"}
-- 
cgit v1.2.3