From a6b7569b898a43cd0907359e983cdb0e034e8348 Mon Sep 17 00:00:00 2001 From: Michael Orlitzky Date: Thu, 2 Nov 2023 22:47:58 -0400 Subject: [PATCH] Makefile.am: preserve origin/destination ids during minimization --- Makefile.am | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile.am b/Makefile.am index b43bbba..0e76e8c 100644 --- a/Makefile.am +++ b/Makefile.am @@ -9,6 +9,9 @@ PRECIOUS_IDS = \ codetext \ clouds \ cloudscopy \ + destination \ + origin \ + origindest \ train \ tram \ trees \ -- 2.43.2