Update makefile in order to actually work

ioi / isolate

Sandbox for securely executing untrusted programs

Other

1.1k stars 161 forks source link

Update makefile in order to actually work #108

Closed AlexVasiluta closed 2 years ago

AlexVasiluta commented 2 years ago

The config.h file was removed a long time ago in favour of a dynamic config file. Unfortunately, it wasn't removed from the makefile and as such the %.o recipe fails to run (instead, it uses one of the make builtins). This simple commit makes the make recipe actually work.

gollux commented 2 years ago

Oops. Damned built-in rules... If only there were a way how to tell make to disable them...