# HG changeset patch
# User anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
# Date 1571276574 -32400
# Node ID dd1d9ea1b7b58c9f026de5ece60b9fc4d21a0e6d
# Parent  df104b2de8951d5d8de17c6dfa60607170854154
tweak pmake.pl

diff -r df104b2de895 -r dd1d9ea1b7b5 src/gearsTools/pmake.pl
--- a/src/gearsTools/pmake.pl	Thu Oct 17 10:37:02 2019 +0900
+++ b/src/gearsTools/pmake.pl	Thu Oct 17 10:42:54 2019 +0900
@@ -37,7 +37,7 @@
 create_link_script();
 my $curdir = getcwd;
 my $xv6_src_dir = $FindBin::Bin;
-$xv6_src_dir =~  s|(.*)/gearsTools/(.*)|$1|;
+$xv6_src_dir =~  s|(.*)/gearsTools(.*)|$1|;
 
 print_exec_system($cmake,
      "-DCBC_COM=$cc",
@@ -75,7 +75,7 @@
 sub print_exec_system {
   my @query = @_;
   print(join(' ',@query), "\n");
-  #system(join(' ',@query));
+  system(join(' ',@query));
 }