fixup! [Pal] Linux-SGX: generate gsgx.h

gramineproject · Dec 22, 2020 · c6864de · c6864de
1 parent db43e79
commit c6864de
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/Pal/src/host/Linux-SGX/link-intel-driver.py b/Pal/src/host/Linux-SGX/link-intel-driver.py
@@ -48,8 +48,9 @@ def main():
     try:
         isgx_driver_path = os.environ['ISGX_DRIVER_PATH']
     except KeyError:
-        print('ISGX_DRIVER_PATH environment variable is undefined. You can define an\n'
-            'empty ISGX_DRIVER_PATH="" to use the default in-kernel driver\'s C header.',
+        print(
+            'ISGX_DRIVER_PATH environment variable is undefined. You can define\n'
+            'ISGX_DRIVER_PATH="" to use the default in-kernel driver\'s C header.',
             file=sys.stderr)
         sys.exit(1)