fix test failure in CI testing with missing nailgun binary

kframework · Nov 7, 2017 · 21089ce · 21089ce
1 parent 4989c6c
commit 21089ce
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/k-distribution/pom.xml b/k-distribution/pom.xml
@@ -117,9 +117,6 @@
             <configuration>
               <target>
                 <move file="${ktestDir}/junit-reports" tofile="target/ktest-reports" failonerror="false" />
-                <exec executable="${project.build.directory}/release/k/lib/native/${native.os.classifier}/ng${native.exe.extension}">
-                  <arg value="ng-stop" />
-                </exec>
               </target>
             </configuration>
             <goals>