Quelle drm_mm.sh Sprache: Shell

#!/bin/sh
# SPDX-License-Identifier: GPL-2.0
# Runs API tests for struct drm_mm (DRM range manager)

if ! /sbin/modprobe -n -q test-drm_mm; then
       echo "drivers/gpu/drm_mm: module test-drm_mm is not found in /lib/modules/`uname -r` [skip]"
       exit 77
fi

if /sbin/modprobe -q test-drm_mm; then
       /sbin/modprobe -q -r test-drm_mm
       echo "drivers/gpu/drm_mm: ok"
else
       echo "drivers/gpu/drm_mm: module test-drm_mm could not be removed [FAIL]"
       exit 1
fi

Messung V0.5

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.