diff install.bash @ 39:6e9d0b2d0720

fix handling of missing include files
author carl
date Mon, 07 Jun 2004 21:07:40 -0700
parents ccf2c2651c1d
children d95af8129dfa
line wrap: on
line diff