File tree Expand file tree Collapse file tree 1 file changed +81
-0
lines changed
.github/jobs/configure-checks Expand file tree Collapse file tree 1 file changed +81
-0
lines changed Original file line number Diff line number Diff line change @@ -467,3 +467,84 @@ compile_assertions_finished () {
467
467
run make judgehost
468
468
assert_failure
469
469
}
470
+
471
+ # @test "'Make distclean' has all permissions" {
472
+ #
473
+ #
474
+ #
475
+ # if [ "$distro_id" = "ID=fedora" ]; then
476
+ #
477
+ #
478
+ # # Fails as libraries are not found
479
+ #
480
+ #
481
+ # skip
482
+ #
483
+ #
484
+ # fi
485
+ #
486
+ #
487
+ # setup
488
+ #
489
+ #
490
+ # run run_configure
491
+ #
492
+ #
493
+ # run_user_stderr make domserver
494
+ #
495
+ #
496
+ # make install-domserver
497
+ #
498
+ #
499
+ # run_user_stderr make distclean
500
+ #
501
+ #
502
+ # refute_partial "cannot remove"
503
+ #
504
+ #
505
+ # refute_partial "Permission denied"
506
+ #
507
+ #
508
+ # assert_success
509
+ #
510
+ #
511
+ # }
512
+ #
513
+ #
514
+ #
515
+ #
516
+ #
517
+ # @test "'Make distclean' has permission errors" {
518
+ #
519
+ #
520
+ # if [ "$distro_id" = "ID=fedora" ]; then
521
+ #
522
+ #
523
+ # # Fails as libraries are not found
524
+ #
525
+ #
526
+ # skip
527
+ #
528
+ #
529
+ # fi
530
+ #
531
+ #
532
+ # setup
533
+ #
534
+ #
535
+ # run run_configure
536
+ #
537
+ #
538
+ # run_stderr make install-domserver
539
+ #
540
+ #
541
+ # run_user_stderr make distclean
542
+ #
543
+ #
544
+ # assert_partial "cannot remove"
545
+ #
546
+ #
547
+ # assert_partial "Permission denied"
548
+ #
549
+ #
550
+ # }
You can’t perform that action at this time.
0 commit comments