Don't call plastc if $PLAST is set. See https://github.com/Andersbakk…

…en/plast
gregsexton · Aug 27, 2014 · 9bde78a · 9bde78a
1 parent 746bdc4
commit 9bde78a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/bin/gcc-rtags-wrapper.sh b/bin/gcc-rtags-wrapper.sh
@@ -8,7 +8,8 @@ function followSymlink()
 rc=`which rc`
 for i in `which -a "\`basename $0\`"`; do
     resolved=`followSymlink $i`
-    if [ `basename $resolved` != "gcc-rtags-wrapper.sh" ]; then
+    filename=`basename $resolved`
+    if [ "$filename" != "gcc-rtags-wrapper.sh" ] && [ -z "$PLAST" -o "$filename" != "plastc" ]; then
         [ -n "$RTAGS_SERVER_FILE" ] && RTAGS_ARGS="$RTAGS_ARGS -n$RTAGS_SERVER_FILE"
         [ -n "$RTAGS_PROJECT" ] && RTAGS_ARGS="$RTAGS_ARGS --project-root=$RTAGS_PROJECT"
         [ -z "$RTAGS_COMPILE_TIMEOUT" ] && RTAGS_COMPILE_TIMEOUT=3000