diff --git a/src/experiments/ecos_kernel_test/experimentInfo.hpp.sh b/src/experiments/ecos_kernel_test/experimentInfo.hpp.sh deleted file mode 100755 index fc42c5bb..00000000 --- a/src/experiments/ecos_kernel_test/experimentInfo.hpp.sh +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/bash -set -e -TARGET=experimentInfo.hpp - -[ ! -e "$1" ] && echo "usage: $0 ecos_binary.elf" && exit 1 - -function addrof() { nm -C $1 | (fgrep "$2" || echo 99999999) | awk '{print $1}'; } - -cat >$TARGET <>$TARGET -cat >>$TARGET <