=========================================================== .___ __ __ _________________ __ __ __| _/|__|/ |_ / ___\_` __ \__ \ | | \/ __ | | \\_ __\ / /_/ > | \// __ \| | / /_/ | | || | \___ /|__| (____ /____/\____ | |__||__| /_____/ \/ \/ grep rough audit - static analysis tool v2.8 written by @Wireghoul =================================[justanotherhacker.com]=== boolector-1.5.118.6b56be4.121013/examples/Makefile-1-all: boolector-1.5.118.6b56be4.121013/examples/Makefile:2: for m in `find * -name makefile`; do d=`dirname $$m`; make -C $$d all; done boolector-1.5.118.6b56be4.121013/examples/Makefile-3-clean: boolector-1.5.118.6b56be4.121013/examples/Makefile:4: for m in `find * -name makefile`; do d=`dirname $$m`; make -C $$d clean; done ############################################## boolector-1.5.118.6b56be4.121013/mkconfig-15- boolector-1.5.118.6b56be4.121013/mkconfig:16:if [ ! x"`grep '^CC=gcc$' makefile`" = x ] boolector-1.5.118.6b56be4.121013/mkconfig-17-then ############################################## boolector-1.5.118.6b56be4.121013/lingeling/configure-60- -static) static=yes;; boolector-1.5.118.6b56be4.121013/lingeling/configure:61: --aiger=*) aiger=`echo "$1"|sed -e 's,^--aiger=,,' `;; boolector-1.5.118.6b56be4.121013/lingeling/configure-62- --no-aiger) aiger=no;; ############################################## boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/configure-93-addstcpp () { boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/configure:94: if [ X"`echo "$LIBS" | grep 'lstdc++'`" = X ] boolector-1.5.118.6b56be4.121013/.pc/debian-changes-1.5.118.6b56be4.121013-1/configure-95- then ############################################## boolector-1.5.118.6b56be4.121013/configure-93-addstcpp () { boolector-1.5.118.6b56be4.121013/configure:94: if [ X"`echo "$LIBS" | grep 'lstdc++'`" = X ] boolector-1.5.118.6b56be4.121013/configure-95- then