browsing at commit = 945811962a70c8a8c3fcbd5e57538c8e030bc968
raw · blame · history
#! /bin/bash set +e cd src make USECPPDB=0