blob: 6de9c89a4d55e242f636f453c48aacb7bdbd311f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#!/bin/bash
function check_dest {
if ! [ -d $PREFIX ]; then
if ! mkdir -p $PREFIX; then
echo "Could not create target directory '$PREFIX'! Aborting..."
exit 1
fi
fi
}
check_dest
|