From 756b0feb4b72de721b692df5758862b38007b9c0 Mon Sep 17 00:00:00 2001
From: rxhfcy <42669366+rxhfcy@users.noreply.github.com>
Date: Tue, 19 Dec 2023 01:45:43 +0200
Subject: [PATCH] attempt to make "clean" in Makefile.docker actually clean
 skelatool64

After this change, `make -f Makefile.docker clean` no longer shows this error:

```
...
sudo @make -C skelatool64 clean
sudo: @make: command not found
make: *** [Makefile.docker:18: clean] Error 1
```

I did get lots of ugly new make spew though (the root cause should probably be fixed elsewhere later), but at least skelatool64 now cleaned properly, I think.
---
 Makefile.docker | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.docker b/Makefile.docker
index e4ae803..95961ea 100644
--- a/Makefile.docker
+++ b/Makefile.docker
@@ -15,7 +15,7 @@ clean:
 	sudo rm -rf portal_pak_dir
 	sudo rm -rf portal_pak_modified
 	sudo rm -rf assets/locales
-	sudo @$(MAKE) -C skelatool64 clean
+	sudo $(MAKE) -C skelatool64 clean
 	
 english_audio:
 	docker run --rm -v $$PWD:/usr/src/app -e PORTAL64_WITH_DEBUGGER -e PORTAL64_WITH_GFX_VALIDATOR -it portal64 make english_audio