pmd directory already exists, use -p

jpos · Apr 2, 2014 · 3e9264e · 3e9264e
1 parent 92e95d1
commit 3e9264e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis/update-gh-pages.sh b/.travis/update-gh-pages.sh
@@ -17,7 +17,7 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ]; then
   #go into diractory and copy data we're interested in to that directory
   cd gh-pages
   cp -Rf $HOME/tests/* .
-  mkdir pmd && cp -Rf $HOME/pmd/* pmd
+  mkdir -p pmd && cp -Rf $HOME/pmd/* pmd
 
   #add, commit and push files
   git add -f .