Ticket #15075: gdc

File gdc, 99 bytes (added by hans@…, 16 years ago)

Wrapper script to ignore warnings

Line 
1#! /bin/bash
2gdc=/opt/local/bin/gdc
3msg="indirect jmp without"
4$gdc "$@" 2> >(grep -v "$msg" 1>&2)