File: gcc-version.diff

package info (click to toggle)
gcc-python-plugin 0.17-2
  • links: PTS
  • area: main
  • in suites: buster
  • size: 46,268 kB
  • sloc: python: 15,434; ansic: 11,462; makefile: 576; xml: 449; cpp: 137; pascal: 75; sh: 7
file content (15 lines) | stat: -rw-r--r-- 525 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Index: b/gcc-with-python
===================================================================
--- a/gcc-with-python
+++ b/gcc-with-python
@@ -16,4 +16,9 @@
 #   along with this program.  If not, see
 #   <http://www.gnu.org/licenses/>.
 
-${CC:-gcc} -fplugin=$(pwd)/python.so -fplugin-arg-python-script=$@
+GCC=${CC:-gcc}
+if ! which ${GCC} >/dev/null 2>&1; then
+  echo >&2 "$(basename $0): gcc '$GCC' is not installed. Try using the default GCC"
+  exit 1
+fi
+${GCC} -fplugin=$(pwd)/python.so -fplugin-arg-python-script=$@