Accueil Explorer Aide
Connexion
miti
/
graphene
1
0
Fork 0
Fichiers Tickets 0 Pull Requests 0 Wiki
Parcourir la source

print host in pal_loader

Chia-Che Tsai il y a 7 ans
Parent
70868102a9
commit
e75bce0425
1 fichiers modifiés avec 1 ajouts et 0 suppressions
Vue séparée Afficher les stats Diff
  1. 1 0
      LibOS/shim/test/pal_loader

+ 1 - 0
LibOS/shim/test/pal_loader
Voir le fichier 

@@ -39,4 +39,5 @@ fi
 
 
 set -x
 
 
+echo "Host: $PAL_HOST"
 
 exec $GDB_CMD $PAL_CMD $MANIFEST "$@"