Skip to content

Commit

Permalink
openroad: Make directory if not yet created
Browse files Browse the repository at this point in the history
  • Loading branch information
hovind authored and oharboe committed Jul 15, 2024
1 parent 887e4ee commit 1bd88fd
Showing 1 changed file with 1 addition and 12 deletions.
13 changes: 1 addition & 12 deletions deploy.tpl
Original file line number Diff line number Diff line change
Expand Up @@ -57,18 +57,7 @@ main() {
exit 1
fi

if [ ! -e "$dst" ]; then
echo "$progname: '$dst' does not exist"
echo "Try '$progname -h' for more information."
exit 1
fi

if [ ! -d "$dst" ]; then
echo "$progname: '$dst' is not a directory"
echo "Try '$progname -h' for more information."
exit 1
fi

mkdir --parents "$dst"
cp --recursive --parents --target-directory "$dst" -- *

for file in $genfiles; do
Expand Down

0 comments on commit 1bd88fd

Please sign in to comment.