From f9a85a670b02785e0e6d1462dc0a54f330f27c33 Mon Sep 17 00:00:00 2001 From: Julien Tesson Date: Mon, 11 Dec 2023 11:16:26 +0100 Subject: [PATCH] Makefile: reinstate kaitai files organisation of !11206 The folder organisation was messed up during !11208 rebase. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 565514df1c76..de90c2e199f5 100644 --- a/Makefile +++ b/Makefile @@ -132,7 +132,7 @@ $(ALL_EXECUTABLES): .PHONY: kaitai-struct-files-update kaitai-struct-files-update: - @dune exe contrib/bin_codec_kaitai/codec.exe dump kaitai specs in contrib/kaitai-struct-files/ + @dune exe contrib/bin_codec_kaitai/codec.exe dump kaitai specs in contrib/kaitai-struct-files/files .PHONY: kaitai-struct-files kaitai-struct-files: -- GitLab