?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merged in f5soh/librepilot/update_credits (pull request #529)
[librepilot.git] / ground / gcs / src / libs / eigen / scripts / release.in
blobdb2d9d940283f607a103a5ae979f6921d5a8bea1
1 #!/bin/sh
2
3 cmake -DCMAKE_BUILD_TYPE=Release .