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