ci/publish.sh

   1 #!/bin/bash
   2 echo "$0: start copying packages"
   3
   4 TARGET=/export
   5 if [ $# -eq 1 ]
   6 then
   7     TARGET=$1
   8 fi
   9
  10 if [ ! -d "$TARGET" ]
  11 then
  12     echo "$0: Error: target dir $TARGET does not exist"
  13     exit 1
  14 fi
  15
  16 cp -v  /tmp/*.deb "$TARGET"