fixup posix problems
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
ac59d9b7f4
commit
f9a941d7e9
1 changed files with 4 additions and 1 deletions
|
@ -3,6 +3,8 @@
|
|||
# Nico Schottelius
|
||||
#
|
||||
|
||||
set -e
|
||||
|
||||
DIR="$1"
|
||||
|
||||
[ -z "${DIR}" ] && DIR="${PWD}"
|
||||
|
@ -14,4 +16,5 @@ if ! [ -d "${DIR}" ]; then
|
|||
exit 1
|
||||
fi
|
||||
|
||||
rm "${DIR}"/*.{aux,nav,out,toc,snm,log,vrb}
|
||||
cd "${DIR}"
|
||||
rm -f *.aux *.nav *.out *.toc *.snm *.log *.vrb
|
||||
|
|
Loading…
Reference in a new issue