Have configure to start auto-detecting PLATFORM, which was required as of the per...
[dyninst.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 2937 buildstamp
-rwxr-xr-x 1474 dynsysname
-rwxr-xr-x 16798 sysname