#!/bin/bash
# Invoke with: ./tools/clean.sh

if [ -f .project ]; then
    cp .project .pydevproject /tmp
fi

git clean -fX

if [ -f .project ]; then
    cp /tmp/.project /tmp/.pydevproject .
fi

cd sts/headerspace/hassel-c
make


#!/bin/bash
# Invoke with: ./tools/clean.sh

if [ -f .project ]; then
    cp .project .pydevproject /tmp
fi

git clean -fX
cd sts/headerspace/hassel-c
make

if [ -f .project ]; then
    cp /tmp/.project /tmp/.pydevproject .
fi

--- 
+++ 
@@ -6,9 +6,11 @@
 fi
 
 git clean -fX
-cd sts/headerspace/hassel-c
-make
 
 if [ -f .project ]; then
     cp /tmp/.project /tmp/.pydevproject .
 fi
+
+cd sts/headerspace/hassel-c
+make
+
Fix order of moving .project back into pwd
