Modify the way source files are listed in *SOURCE*
[jscl.git] / make.sh
2013-06-04 David VázquezSimple script to bootstrap JSCL