../ DEFAULT 03-Jan-2020 15:11 1071 DELETE_ON_ERROR 03-Jan-2020 15:11 562 FORCE 03-Jan-2020 15:11 484 INTERMEDIATE 03-Jan-2020 15:11 2826 ONESHELL 03-Jan-2020 15:11 1596 PHONY 03-Jan-2020 15:11 1291 POSIX 03-Jan-2020 15:11 1538 SECONDARY 03-Jan-2020 15:11 3926 SILENT 03-Jan-2020 15:11 572 clean 03-Jan-2020 15:11 911