894202db16
* Re-run ./configure-plugins if .def.cfg is newer than .cfg * Documentate build instructions of the TestRBin.java * Sync TODO and ChangeLog
3 lines
113 B
Bash
Executable file
3 lines
113 B
Bash
Executable file
#!/bin/sh
|
|
[ plugins.def.cfg -nt ./plugins.cfg ] && rm -f plugins.cfg
|
|
[ ! -e plugins.cfg ] && ./configure-plugins
|