Browse Source

remove bad log line

ugv_io
Alex Mikhalev 6 years ago
parent
commit
ae49cd9fde
  1. 1
      build.sh

1
build.sh

@ -3,7 +3,6 @@ @@ -3,7 +3,6 @@
set -e
TPUT=$(which tput 2>/dev/null || echo true)
echo $TPUT
DIR=$(cd "$(dirname "$0")"; pwd -P)

Loading…
Cancel
Save