diff --git a/Makefile b/Makefile index da262d96e9c15dfa67281fe56b8900edbb61fc5d..b33b0562cf6c5f70d1477f33d47ca3e6f77bc543 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ clean-compiler: - svn checkout -r 3043 https://svn.cs.ru.nl/repos/clean-compiler/branches/itask/ clean-compiler + svn checkout -r 3056 https://svn.cs.ru.nl/repos/clean-compiler/branches/itask/ clean-compiler $(MAKE) -j -C clean-compiler/main/Unix $(MAKE) -j -C clean-compiler/backendC/CleanCompilerSources -f Makefile.linux64 ln -s ../../backendC/CleanCompilerSources/backend.a clean-compiler/backend/Clean\ System\ Files/backend_library