/* dummy file used to produce empty library if no files to be build */

char cvs_id[]="$Id$";