From: Michael Orlitzky Date: Fri, 3 Nov 2023 02:47:58 +0000 (-0400) Subject: Makefile.am: preserve origin/destination ids during minimization X-Git-Url: https://gitweb.michael.orlitzky.com/?a=commitdiff_plain;h=a6b7569b898a43cd0907359e983cdb0e034e8348;p=charm-bypass.git Makefile.am: preserve origin/destination ids during minimization --- 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 \