diff options
Diffstat (limited to 'lib/libsteps/make_dist_linux.sh')
| -rwxr-xr-x | lib/libsteps/make_dist_linux.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lib/libsteps/make_dist_linux.sh b/lib/libsteps/make_dist_linux.sh deleted file mode 100755 index fe58a8d..0000000 --- a/lib/libsteps/make_dist_linux.sh +++ /dev/null @@ -1,12 +0,0 @@ -#! /bin/sh - -outputDir=dist/lib/ - -mkdir -p $outputDir - -for f in *.hpp; do -baseName=`echo $f | cut -d "." -f 1` -echo "RUN:" cp --parents $f.hpp $outputDir$baseName -cp --parents $f.hpp $outputDir$baseName -done - |