| #!/bin/bash | |
| echo "Test cache capabilities (rerun)" | |
| rm -rf slpp* | |
| time $1 *.v -d 0 +incdir+.+.. +libext+.v -writepp -v jkff_udp.v -mt max -parse -fileunit -nostdout | |
| time $1 *.v -d 0 +incdir+.+.. +libext+.v -writepp -v jkff_udp.v -mt max -parse -fileunit | |