Projects
New Ticket     Wiki     Browse Source     Timeline     Roadmap     Bug Reports     Search

Ticket #15075: gdc

File gdc, 99 bytes (added by hans@…, 3 months 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)