L4Re/departure

Change of tests/dstest_file_mapping.cc

402:dbc8c17a4f81
tests/dstest_file_mapping.cc
     1.1 --- a/tests/dstest_file_mapping.cc	Thu Sep 01 21:40:39 2022 +0200
     1.2 +++ b/tests/dstest_file_mapping.cc	Thu Sep 01 21:52:41 2022 +0200
     1.3 @@ -1,5 +1,5 @@
     1.4  /*
     1.5 - * Test dataspace operations.
     1.6 + * Test manual mapping of dataspace content.
     1.7   *
     1.8   * Copyright (C) 2020, 2021, 2022 Paul Boddie <paul@boddie.org.uk>
     1.9   *
    1.10 @@ -109,8 +109,7 @@
    1.11      printf("%s\n", buf);
    1.12    }
    1.13  
    1.14 -  printf("File shown.\n");
    1.15 -
    1.16 +  printf("End of test.\n");
    1.17    return 0;
    1.18  }
    1.19