diff options
Diffstat (limited to '')
-rw-r--r-- | inf/rtk/2021-offline/Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/inf/rtk/2021-offline/Makefile b/inf/rtk/2021-offline/Makefile new file mode 100644 index 0000000..8a3f96f --- /dev/null +++ b/inf/rtk/2021-offline/Makefile @@ -0,0 +1,11 @@ +default: + @echo "offline naloga in rešitev za ijs.rtk. recepti:" + @echo "- make pripravi: prenese datoteke, potrebne za nalogo" + @echo "- make prevedi: naredi program" + @echo "to je vse, hvala." + +pripravi: + wget http://rtk.ijs.si/2021/pokrajina/pokrajina-unix.in -c + +prevedi: + gcc -Wall -pedantic -I. -g -oa.out prog.c |