View difference between Paste ID: GkWEBNCD and ztY58V3p
SHOW: | | - or go back to the newest paste.
1
#!/bin/bash
2
3
inotifywait -q -r -e create,modify,move,delete $@ && \
4-
  clear &&\
4+
  clear && sleep 0.25s\
5-
  cmake --build . && echo done.
5+
  make && echo done.
6
exec $0 $@