make alldepend (again ?!)

master
Gabriel Scherer 2019-06-20 10:58:03 +02:00
parent 44cebef087
commit b859714871
1 changed files with 2 additions and 1 deletions

View File

@ -14,7 +14,8 @@ dynlink_common.cmi : \
dynlink_platform_intf.cmo : \
dynlink_types.cmi \
dynlink_platform_intf.cmi
dynlink_platform_intf.cmi :
dynlink_platform_intf.cmi : \
dynlink_types.cmi
dynlink_types.cmo : \
dynlink_types.cmi
dynlink_types.cmi :