mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-06-07 17:49:49 +08:00
map2d symlink for backward compatibility
This commit is contained in:
@@ -34,10 +34,14 @@ MAIN=gcs
|
||||
CMO=$(ML:.ml=.cmo)
|
||||
CMX=$(ML:.ml=.cmx)
|
||||
|
||||
all : $(MAIN)
|
||||
all : $(MAIN) map2d
|
||||
|
||||
opt : $(MAIN).opt
|
||||
|
||||
# Only for backward compatibility: should disappear
|
||||
map2d : gcs
|
||||
[ -L $@ ] || [ -f $@ ] || ln -s $< $@
|
||||
|
||||
|
||||
$(MAIN) : $(CMO)
|
||||
@echo OL $@
|
||||
@@ -69,4 +73,4 @@ editFP.cmo : editFP.cmi
|
||||
sectors.cmo : sectors.cmi
|
||||
|
||||
clean:
|
||||
rm -f *~* *.cm* *.o *.out *.opt map2d
|
||||
rm -f *~* *.cm* *.o *.out *.opt map2d gcs
|
||||
|
||||
Reference in New Issue
Block a user