File indexing completed on 2024-05-05 13:18:40

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