
extraflags="CFLAGS=-g" ./mh "$@"
