source:
XMLIO_V2/tools/make_xmlioserver
@
103
Last change on this file since 103 was 87, checked in by ymipsl, 15 years ago | |
---|---|
|
|
File size: 86 bytes |
Rev | Line | |
---|---|---|
[83] | 1 | #!/bin/bash |
2 | ||
[87] | 3 | cd external ; ./make_external $* |
[83] | 4 | cd ../xmlioserver |
[87] | 5 | ./make_xmlioserver $* |
Note: See TracBrowser
for help on using the repository browser.