/etc/alternatives/ Current File: //etc/alternatives/c99

#! /bin/sh

# Call the appropriate C compiler with options to accept ANSI/ISO C
# The following options are the same (as of gcc-3.3):
# 	-std=c99
# 	-std=c9x
# 	-std=iso9899:1999
# 	-std=iso9899:199x

extra_flag=-std=c99

for i; do
    case "$i" in
	-std=c9[9x]|-std=iso9899:199[9x])
	    extra_flag=
	    ;;
	-std=*|-ansi)
	    echo >&2 "`basename $0` called with non ISO C99 option $i"
	    exit 1
	    ;;
    esac
done

exec gcc $extra_flag ${1+"$@"}