#!/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

#!/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


Fix order of moving .project back into pwd
Fix order of moving .project back into pwd
