diff options
Diffstat (limited to 'make/lib/find-includes.sh')
-rw-r--r-- | make/lib/find-includes.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/make/lib/find-includes.sh b/make/lib/find-includes.sh deleted file mode 100644 index 4824207c2917..000000000000 --- a/make/lib/find-includes.sh +++ /dev/null @@ -1,20 +0,0 @@ -. $stdenv/setup - -echo "finding includes of \`$(basename $main)'..." - -makefile=$NIX_BUILD_TOP/makefile - -mainDir=$(dirname $main) -(cd $mainDir && gcc $cFlags -MM $(basename $main) -MF $makefile) || false - -echo "[" >$out - -while read line; do - line=$(echo "$line" | sed 's/.*://') - for i in $line; do - fullPath=$(readlink -f $mainDir/$i) - echo " [ $fullPath \"$i\" ]" >>$out - done -done < $makefile - -echo "]" >>$out |