===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
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