Searched refs:hostname (Results 1 - 17 of 17) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/acl2/ |
H A D | .acl2holrc.bash | 4 hostname=`hostname` 6 if [ "$hostname" = "kala.cl.cam.ac.uk" ] ; then \ 10 elif [ "$hostname" = "oliphaunt-0.cs.utexas.edu" ] ; then \
|
/seL4-l4v-10.1.1/isabelle/Admin/Release/ |
H A D | mirror-website | 5 HOST=$(hostname)
|
/seL4-l4v-10.1.1/l4v/isabelle/Admin/Release/ |
H A D | mirror-website | 5 HOST=$(hostname)
|
/seL4-l4v-10.1.1/isabelle/src/HOL/Tools/ATP/scripts/ |
H A D | remote_atp | 107 $message =~ s/ \(Bad hostname ['"][^'"]*['"]\)//;
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Tools/ATP/scripts/ |
H A D | remote_atp | 107 $message =~ s/ \(Bad hostname ['"][^'"]*['"]\)//;
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | isabelle_cronjob.scala | 390 val hostname = Isabelle_System.hostname() 395 "[" + Build_Log.print_date(date) + ", " + hostname + ", " + task_name + "]: " + msg) 518 File.write(main_state_file, main_start_date + " " + log_service.hostname)
|
H A D | build_history.scala | 179 val build_host = Isabelle_System.hostname()
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
H A D | isabelle_cronjob.scala | 390 val hostname = Isabelle_System.hostname() 395 "[" + Build_Log.print_date(date) + ", " + hostname + ", " + task_name + "]: " + msg) 518 File.write(main_state_file, main_start_date + " " + log_service.hostname)
|
H A D | build_history.scala | 179 val build_host = Isabelle_System.hostname()
|
/seL4-l4v-10.1.1/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 321 def hostname(): String = bash("hostname -s").check.out
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/ |
H A D | isabelle_system.scala | 321 def hostname(): String = bash("hostname -s").check.out
|
/seL4-l4v-10.1.1/HOL4/tools/Holmake/ |
H A D | Holmake.sml | 142 val hostname = if Systeml.isUnix then value 143 case Mosml.run "hostname" [] "" of 154 val newname0 = hostname^timestamp
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildutils.sml | 910 val hostname = if Systeml.isUnix then value 911 case Mosml.run "hostname" [] "" of 941 val newname0 = hostname^timestamp
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
H A D | build.scala | 796 " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
H A D | build.scala | 796 " (" + Isabelle_System.getenv("ML_IDENTIFIER") + " on " + Isabelle_System.hostname() +")")
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | configure | 574 # hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status, 576 ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q` 2394 hostname = `(hostname || uname -n) 2>/dev/null | sed 1q` 20100 on `(hostname || uname -n) 2>/dev/null | sed 1q`
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | configure | 574 # hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status, 576 ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q` 2603 hostname = `(hostname || uname -n) 2>/dev/null | sed 1q` 23117 on `(hostname || uname -n) 2>/dev/null | sed 1q`
|
Completed in 307 milliseconds