Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: hack-gcc Sprache: PVS

Original von: Lyx^©

#!/bin/sh
# This is hack-gcc, an ugly hack to force gcc to recompile without
# optimization when an error occurs. It is meant as wrapper around gcc
# that works around compiler bugs when optimization is on . Do what
# you want with this code.

# Author Jean-Marc Lasgouttes ([email protected])

ARGS=`echo "$*" | sed -e 's/\"/\\\"/g`

if test "x$ARGS" = x ; then
  echo "usage: $0 [gcc name] [normal gcc options]"
  exit 0
fi

if eval "$ARGS" ; then
  exit 0
else
  echo "$0: an error occurred, retrying without optimization." >&2
  eval `echo $ARGS | sed -e 's/-O[0-9]*//'`
fi

¤ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.