#!/bin/sh
# list public symbols without proper prefix (mawk_) in object files 
nm $* | grep " T " | grep -v " mawk_"

