script/push, Makefile: move build target into Makefile instead of hardcoding in push...
-rw-r--r-- 1958 Makefile
drwxr-xr-x - script
drwxr-xr-x - src
-rw-r--r-- 592 todo