diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-07-15 05:16:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-15 05:16:55 +0200 |
| commit | 66ae31e99e31c86172bcc31e36d4f9441fde8634 (patch) | |
| tree | a9af9c3fc4ae4ed8b874086fdf99f25d816774e5 /src/runtime/c/install.sh | |
| parent | a1fd3ea142f215d7a030b8a95d32ba0c55dd61fb (diff) | |
| parent | a677f0373c2b02c009028a9e9dd8341a80b499e0 (diff) | |
Merge pull request #126 from inariksit/developers-documentation
Update developers' documentation
Diffstat (limited to 'src/runtime/c/install.sh')
| -rwxr-xr-x | src/runtime/c/install.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/runtime/c/install.sh b/src/runtime/c/install.sh new file mode 100755 index 000000000..78483719d --- /dev/null +++ b/src/runtime/c/install.sh @@ -0,0 +1,3 @@ +bash setup.sh configure +bash setup.sh build +bash setup.sh install |