diff options
Diffstat (limited to 'extras')
| -rw-r--r-- | extras/mini-os/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/Makefile b/extras/mini-os/Makefile index f437cf2f58..18ae585db7 100644 --- a/extras/mini-os/Makefile +++ b/extras/mini-os/Makefile @@ -35,6 +35,7 @@ $(TARGET): hypervisor-ifs head.o $(OBJS) clean: find . -type f -name '*.o' | xargs rm -f rm -f *.o *~ core $(TARGET).elf $(TARGET).raw $(TARGET) $(TARGET).gz + find . -type l | xargs rm -f %.o: %.c $(HDRS) Makefile $(CC) $(CFLAGS) -c $< -o $@ |