comparison make-dist @ 108249:b393c00787bb

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Wed, 05 May 2010 23:05:35 +0000
parents 2fb32340c261
children 7303923cef22
comparison
equal deleted inserted replaced
108193:3fc390a10afb 108249:b393c00787bb
467 (cd src/bitmaps 467 (cd src/bitmaps
468 ln README *.xbm ../../${tempdir}/src/bitmaps) 468 ln README *.xbm ../../${tempdir}/src/bitmaps)
469 469
470 echo "Making links to \`src/m'" 470 echo "Making links to \`src/m'"
471 (cd src/m 471 (cd src/m
472 # We call files for miscellaneous input (to linker etc) .inp. 472 ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/m)
473 ln README [a-zA-Z0-9]*.h *.inp ../../${tempdir}/src/m)
474 473
475 echo "Making links to \`src/s'" 474 echo "Making links to \`src/s'"
476 (cd src/s 475 (cd src/s
477 ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/s) 476 ln README [a-zA-Z0-9]*.h ../../${tempdir}/src/s)
478 477