打包dockerfile

2022-11-14 15:47:42 +08:00
parent 88199189a2
commit 90504d1305
1 changed files with 10 additions and 1 deletions
@@ -85,8 +85,17 @@
            <source>../sdk/target/checker.jar</source>
            <outputDirectory>checker/</outputDirectory>
        </file>
-    </files>

+        <file>
+            <source>../docker/Dockerfile</source>
+            <outputDirectory>docker/</outputDirectory>
+        </file>
+
+        <file>
+            <source>../docker/README.md</source>
+            <outputDirectory>docker/</outputDirectory>
+        </file>
+    </files>

    <dependencySets>
        <dependencySet>