From 406396685eb9a22007875fc960d629aa2cae1886 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Tue, 13 Oct 2020 22:10:04 +0200 Subject: [PATCH] Remove obsolete script --- development/tools/list_included_headers.sh | 9 --------- 1 file changed, 9 deletions(-) delete mode 100755 development/tools/list_included_headers.sh diff --git a/development/tools/list_included_headers.sh b/development/tools/list_included_headers.sh deleted file mode 100755 index 39c34588d8..0000000000 --- a/development/tools/list_included_headers.sh +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/bash -for i in "$@" ; do - echo "#include <$i>" > 1.cpp - inc='-I. -I/suse/usr/src/lyx/trunk/boost -I/usr/include/qt4/QtCore -I/usr/include/qt4' - g++ $inc -DQT_NO_STL -E 1.cpp | grep '^#' | cut -d '"' -f 2 | sort | uniq \ - | grep -v '^[<#]' | grep -v '^1.cpp$' - #printf "%-40s: %d\n" $i $l -done -