cva6/ci/make-tmp.sh
2018-02-06 13:08:54 +01:00

5 lines
96 B
Bash
Executable file

#!/bin/bash
set -e
cd "$(dirname "${BASH_SOURCE[0]}")/.."
[ -d tmp ] || rm -rf tmp
mkdir -p tmp