;; -*-theme-d-*-

;; Copyright (C) 2018  Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.

;; Expected results: error
;; Expected output: Hello

;; The script should exit with nonzero exit code.

(define-script (tests test730)

  (import (standard-library core)
	  (standard-library console-io))

  (prelink-body (standard-library core))
  (prelink-body (standard-library console-io))

  (console-display-line "Hello")

  (raw-exit 2)
  
  (console-display-line "Exit"))
