diff options
Diffstat (limited to 'support')
| -rwxr-xr-x | support/scripts/copy-to-ide | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/support/scripts/copy-to-ide b/support/scripts/copy-to-ide index 571936e..011cca7 100755 --- a/support/scripts/copy-to-ide +++ b/support/scripts/copy-to-ide @@ -29,9 +29,10 @@ FILES="LICENSE echo "First make sure DEST exists: $DEST" -if !(test -d $DEST/lanchon-stm32) +if !(test -d $DEST) then - mkdir $DEST/lanchon-stm32 + echo "Nope! Make sure you're doing this right?" + exit -1 fi echo "Then delete the old files..." |