changeset 90:dd1d9ea1b7b5

tweak pmake.pl
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Thu, 17 Oct 2019 10:42:54 +0900
parents df104b2de895
children b5ddf6fb0a6d
files src/gearsTools/pmake.pl
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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));
 }