Delete Resources directory if empty

defagos · Mar 9, 2011 · 9ac0727 · 9ac0727
1 parent 4de304f
commit 9ac0727
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/make-fmwk.sh b/make-fmwk.sh
@@ -597,6 +597,9 @@ do
     fi
 done
 
+# Delete Resources directory if empty
+rmdir "$resources_output_dir" 2> /dev/null
+
 # Copy only sources if desired (useful for debugging purposes)
 if $param_source_files; then
     echo "Copying source code..."