File: rrun

package info (click to toggle)
whitedb 0.7.3%2Bgit211004%2Bdfsg-1
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 3,244 kB
  • sloc: ansic: 31,363; javascript: 3,299; python: 790; lex: 359; java: 277; makefile: 195; sh: 164; yacc: 138; sed: 41
file content (6 lines) | stat: -rwxr-xr-x 83 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
 
#!/bin/sh

../Main/wgdb free
../Main/wgdb importotter $1
../Main/wgdb runreasoner