-i config.mk
sed '/@tic/d' -i Makefile
for file in "${source[@]}"; do
if [[ "$file" == "config.h" ]]; then
# add config.h if present in source array
# Note: this supersedes the above sed to config.def.h
-i config.mk
sed '/@tic/d' -i Makefile
for file in "${source[@]}"; do
if [[ "$file" == "config.h" ]]; then
# add config.h if present in source array
# Note: this supersedes the above sed to config.def.h