diff options
author | Andrew Jorgensen <ajorgensen@novell.com> | 2008-01-31 20:04:34 +0300 |
---|---|---|
committer | Andrew Jorgensen <ajorgensen@novell.com> | 2008-01-31 20:04:34 +0300 |
commit | 9de757d227454a83fdfdb202d7ba79e0b442817c (patch) | |
tree | ac05dd06f003f5af5416bc093222cc8225d032d4 /gendarme/gendarme.in | |
parent | 21f12adb44c6317dfa3172a77b497612084bbcb2 (diff) |
Move gendarme into mono-tools
svn path=/trunk/mono-tools/; revision=94478
Diffstat (limited to 'gendarme/gendarme.in')
-rw-r--r-- | gendarme/gendarme.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gendarme/gendarme.in b/gendarme/gendarme.in new file mode 100644 index 00000000..19f36b38 --- /dev/null +++ b/gendarme/gendarme.in @@ -0,0 +1,2 @@ +#!/bin/sh +exec @MONO@ $MONO_EXTRA_ARGS @prefix@/lib/gendarme/gendarme.exe "$@" |