diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-17T13·51+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-09-17T13·51+0000 |
commit | 57e0d73c776ef672afe2a20b1f7b39a495894c4a (patch) | |
tree | 0eb74731db41253aa65577202c60515d1378af7f /substitute.mk | |
parent | 0dbd4638e07d224e642b52c1dd0468c3752e2479 (diff) |
* build-remote.pl: allow the system type to be a comma-separated list
of system types. Don't treat the x86_64-linux system type specially.
Diffstat (limited to 'substitute.mk')
0 files changed, 0 insertions, 0 deletions