mirror of
https://github.com/MariaDB/server.git
synced 2025-01-23 15:24:16 +01:00
11 lines
197 B
C
11 lines
197 B
C
#define _GNU_SOURCE
|
|
#include <stdio.h>
|
|
#include <stdint.h>
|
|
#include <unistd.h>
|
|
#include <assert.h>
|
|
#include "os.h"
|
|
|
|
int main(void) {
|
|
assert(os_get_pagesize() == getpagesize());
|
|
return 0;
|
|
}
|