File indexing completed on 2021-12-21 13:32:42

0001 #!/bin/sh
0002 exec @CMAKE_STRIP@ $* 2>/dev/null