chiark / gitweb /
realtime: rtprio: bump our scheduler priority to 54 from 10, to put us ahead of most...
[trains.git] / common.make
1 o=>$@.new && mv -f $@.new $@
2 ocmp=>$@.new && (cmp $@ $@.new || mv -f $@.new $@)