echo, not print

pull/868/head
probonopd 4 weeks ago committed by GitHub
parent 508046ffdb
commit 635ead005b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
  1. 2
      build.sh

@ -62,7 +62,7 @@ cd ..
# Build MiniDexed
cd src
make clean
print "***** DEBUG *****"
echo "***** DEBUG *****"
env
grep -r 'aarch64-none-elf' ./src/
find ./src -type d -name 'aarch64-none-elf'

Loading…
Cancel
Save